Biography
I'm a Computer Scientist in the Computer Science Laboratory at SRI International. I hold a Ph.D. in computer science from the University of Joseph Fourier, Grenoble, France, a Master's degree in theoretical computer science from the University of Denis Diderot, Paris 7 , and a computer engineering degree from the University USTHB of Algiers, Algeria.
Research Interests
Computer-aided verification, logic, formal methods for the
engineering of high-confidence systems, formal methods for computer security, intrusion detection, static analysis, mobile security, mobile forensics, mobile application security, malware analysis, and reverse engineering.
Current and past projects
I work on various projects related to system design, security, formal methods, and software/hardware architecture. This is a list of the current projects I am working on.
Publications
My papers are available here